﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace CNFProblem.CNF
{
    /// <summary>
    /// Used only to put already parsed formula into GUI element
    /// </summary>
    public class VariableRepresentation
    {
        public string Name { get; private set; }
        public bool IsNegated { get; private set; }

        public VariableRepresentation(string Name, bool IsNegated)
        {
            this.Name = Name;
            this.IsNegated = IsNegated;
        }
    }
}
